| 翻訳と辞書 |
| absolute geometry ： ウィキペディア英語版 |
absolute geometry
Absolute geometry is a geometry based on an axiom system for Euclidean geometry with the parallel postulate removed and none of its alternatives used in place of it.〔Use a complete set of axioms for Euclidean geometry such as Hilbert's axioms or another modern equivalent . Euclid's original set of axioms does not form a basis for Euclidean geometry.〕 The term was introduced by János Bolyai in 1832.〔In "''Appendix exhibiting the absolute science of space: independent of the truth or falsity of Euclid's Axiom XI (by no means previously decided)''" 〕 It is sometimes referred to as neutral geometry,〔Greenberg cites W. Prenowitz and M. Jordan (Greenberg, p. xvi) for having used the term ''neutral geometry'' to refer to that part of Euclidean geometry that does not depend on Euclid's parallel postulate. He says that the word ''absolute'' in ''absolute geometry'' misleadingly implies that all other geometries depend on it.〕 as it is neutral with respect to the parallel postulate.
==Properties==
It might be imagined that absolute geometry is a rather weak system, but that is not the case. Indeed, in Euclid's ''Elements'', the first 28 Propositions and Proposition 31 avoid using the parallel postulate, and therefore are valid in absolute geometry. One can also prove in absolute geometry the exterior angle theorem (an exterior angle of a triangle is larger than either of the remote angles), as well as the Saccheri–Legendre theorem, which states that the sum of the measures of the angles in a triangle has at most 180°.〔One sees the incompatibility of absolute geometry with elliptic geometry, because in the latter theory all triangles have angle sums greater than 180°.〕
Proposition 31 is the construction of a parallel line to a given line through a point not on the given line. As the proof only requires the use of Proposition 27 (the Alternate Interior Angle Theorem), it is a valid construction in absolute geometry. More precisely, given any line ''l'' and any point ''P'' not on ''l'', there is ''at least'' one line through ''P'' which is parallel to ''l''. This can be proved using a familiar construction: given a line ''l'' and a point ''P'' not on ''l'', drop the perpendicular ''m'' from ''P'' to ''l'', then erect a perpendicular ''n'' to ''m'' through ''P''. By the alternate interior angle theorem, ''l'' is parallel to ''n''. (The alternate interior angle theorem states that if lines a and b are cut by a transversal t such that there is a pair of congruent alternate interior angles, then a and b are parallel.) The foregoing construction, and the alternate interior angle theorem, do not depend on the parallel postulate and are therefore valid in absolute geometry.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「absolute geometry」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|